Mathematical logic and programming languages
- Författare
- J. C. Shepherdson C. A. R. (Charles Antony Richard) Hoare
- (Edited by C.A.R. Hoare and J.C. Shepherdson., "Reports a discussion meeting of the Royal Society of London, held on 15 and 16 February, 1984")
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Prentice-Hall | cop. 1985 | USA, Englewood Cliffs | 184 sidor. |